Inhalt des Dokuments

Master

Bounded Model Checking für Timed CSP Prozesse

Donnerstag, 26. September 2013

Erstgutachter/in: Prof. Dr. rer. nat. Glesner
Zweitgutachter/in: Prof. Dr.-Ing. Nestmann

Kuhnert, Joachim

---